Algebras and Update Strategies For Derick Wood on his 70’th birthday

نویسندگان

  • Michael Johnson
  • Robert Rosebrugh
  • RJ Wood
چکیده

The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between update strategies and meet complements in the order based setting of S. Hegner. We show that these two theories of database view updatability are linked by the notion of “lens” which is an algebra for a monad. We generalize lenses from the category of sets to consider them in categories with finite products, in particular the category of ordered sets.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algebras and Update Strategies In Honor of Derick Wood’s 70th Birthday

The classical (Bancilhon-Spyratos) correspondence between view update translations and views with a constant complement reappears more generally as the correspondence between update strategies and meet complements in the order based setting of S. Hegner. We show that these two theories of database view updatability are linked by the notion of “lens” which is an algebra for a monad. We generaliz...

متن کامل

2 3 Ja n 20 06 MULTIPLE ZETA VALUES AND ROTA – BAXTER ALGEBRAS ( DEDICATED TO PROFESSOR MELVYN NATHANSON FOR HIS 60 TH BIRTHDAY )

We study multiple zeta values and their generalizations from the point of view of Rota–Baxter algebras. We obtain a general framework for this purpose and derive relations on multiple zeta values from relations in Rota–Baxter algebras.

متن کامل

A very French connection, a brief discourse in commemoration of life and services of the late Louis Pierre Joseph Delpy on his 120th birthday anniversary

Razi Vaccine and Serum Research Institute (RVSRI) turned 95 years old in 2015. Majority of the animal infectious diseases such as rinderpest and anthrax that used to frequently strike the historic Persia are now gone for good or under control owing to the pioneering researches conducted at the institute in the early-mid 20th century in the field of vaccine manufacturing. The earliest...

متن کامل

A Proof-Theoretic Approach to the Static Analysis of Logic Programs

Dedicated to Peter Andrews on the occasion of his 70 th birthday.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009